functor F(A : sig end) =
struct
  type t (= contag)
end
